Affine arithmetic - PDFSEARCH.IO - Document Search Engine

Affine arithmetic
Results: 28

#	Item
11	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:27 Computer arithmetic Floating point Fluctuat Abstract interpretation Rounding Interval arithmetic Loss of significance NaN Common logarithm Lookup table Affine arithmetic Signed zero
12	JInterval Library: Principles, Development, and Perspectives Dmitry Nadezhin1 and Sergei Zhilin2 1 2 Add to Reading List Source URL: conf.nsc.ru Language: English - Date: 2012-05-21 07:17:49 Computer arithmetic Arithmetic Numerical analysis Interval arithmetic Cross-platform software Interval Rounding Java Type-2 fuzzy sets and systems Affine arithmetic
13	Vitae for Nathalie Revol Nathalie REVOL Research scientist at INRIA Birth date: children (born in 2005 andCitizenship: french Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-04-08 03:25:46 Mathematics Computer arithmetic Mathematical analysis Computing Numerical analysis Binary arithmetic Affine arithmetic Affine geometry Interval arithmetic Interval Arbitrary-precision arithmetic Precision
14	Improving interval enclosures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria email: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-07-18 03:53:37 Real analysis Order theory Numerical analysis Functions and mappings Functional analysis Monotonic function Interval arithmetic Limit of a function Convex function Interval Affine arithmetic Taylor series
15	Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:19 Dimension Affine space Affine arithmetic Expected value Randomized algorithm Affine connection Conditional expectation Affine geometry Mathematics Mathematical analysis
16	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types
17	Sound Compilation of Reals Eva Darulova Viktor Kuncak EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-11-09 10:48:40 Theoretical computer science Applied mathematics Data types Arithmetic Affine arithmetic Affine geometry Floating point Interval arithmetic Machine epsilon Mathematics Numerical analysis Computer arithmetic
18	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-08-20 05:54:12 Mathematical analysis Applied mathematics Affine arithmetic Machine epsilon Floating point Interval arithmetic Rounding Round-off error Interval Numerical analysis Computer arithmetic Mathematics
19	Certifying Solutions for Numerical Constraints Eva Darulova and Viktor Kuncak ? EPFL Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-09-23 13:41:59 Differential calculus Numerical analysis Functions and mappings Automatic differentiation Computer algebra Affine arithmetic Interval arithmetic Derivative Integral Mathematics Mathematical analysis Calculus
20	A Modular Static Analysis Approach to Affine Loop Invariants Detection Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-16 09:00:31 Division FO Mathematics Expected value Applied mathematics Program logic Predicate transformer semantics Theoretical computer science Binary arithmetic Computer arithmetic